:: t -> t1 -> t -package:foundation package:linear-base

raise a number to a non-negative integral power